UML state machine

Results: 58



#Item
21Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ On using pre and postconditions to tackle the aspect scheduling problem

Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ On using pre and postconditions to tackle the aspect scheduling problem

Add to Reading List

Source URL: www.jot.fm

Language: English - Date: 2014-12-29 10:27:36
22InterState: A Language and Environment for Expressing Interface Behavior Stephen Oney1,2, Brad Myers1 1 Carnegie Mellon University {soney, bam}@cs.cmu.edu

InterState: A Language and Environment for Expressing Interface Behavior Stephen Oney1,2, Brad Myers1 1 Carnegie Mellon University {soney, bam}@cs.cmu.edu

Add to Reading List

Source URL: www.joelbrandt.org

Language: English - Date: 2014-07-16 09:27:14
23Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de

Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de

Add to Reading List

Source URL: doc.utwente.nl

Language: English - Date: 2011-08-28 10:38:36
24Proceedings of the 4th International Modelica Conference, Hamburg, March 7-8, 2005, Gerhard Schmitz (editor) ˚rz´en, I. Dressler

Proceedings of the 4th International Modelica Conference, Hamburg, March 7-8, 2005, Gerhard Schmitz (editor) ˚rz´en, I. Dressler

Add to Reading List

Source URL: elib.dlr.de

Language: English - Date: 2013-12-12 14:03:00
25NRL Release Number[removed]Visual Security Protocol Modeling J. McDermott Center for High Assurance Computer Systems

NRL Release Number[removed]Visual Security Protocol Modeling J. McDermott Center for High Assurance Computer Systems

Add to Reading List

Source URL: www.nrl.navy.mil

Language: English - Date: 2013-04-26 12:50:29
26The Boost Statechart Library - Rationale Page 1 of 10 The Boost Statechart Library

The Boost Statechart Library - Rationale Page 1 of 10 The Boost Statechart Library

Add to Reading List

Source URL: www.boost.org

Language: English - Date: 2007-11-25 13:38:02
27Executable Systems Design with UML 2.0 By Scott Niemann [removed] Introduction

Executable Systems Design with UML 2.0 By Scott Niemann [removed] Introduction

Add to Reading List

Source URL: www.omg.org

Language: English - Date: 2009-05-28 13:06:50
28Charles Simonyi, the recently returned space tourist, is an intriguing character. So much so that a lengthy, and suitably fascinating, profile was

Charles Simonyi, the recently returned space tourist, is an intriguing character. So much so that a lengthy, and suitably fascinating, profile was

Add to Reading List

Source URL: www.omg.org

Language: English - Date: 2009-05-28 13:06:50
29ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24

ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24

Add to Reading List

Source URL: accu.org

Language: English - Date: 2010-10-21 16:24:02
30UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in

UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in

Add to Reading List

Source URL: www.objectmentor.com

Language: English - Date: 2012-12-22 21:57:01